#include "gpio.h"
#include "stm32f4xx.h" 

void GPIO_Config(void)
{    	 
	GPIO_InitTypeDef  GPIO_InitStructure;

    /* PC0 -> LED */

	RCC_AHB1PeriphClockCmd(RCC_AHB1Periph_GPIOC, ENABLE);

	GPIO_InitStructure.GPIO_Pin = GPIO_Pin_0;
	GPIO_InitStructure.GPIO_Mode = GPIO_Mode_OUT;
	GPIO_InitStructure.GPIO_OType = GPIO_OType_PP;
	GPIO_InitStructure.GPIO_Speed = GPIO_Speed_25MHz;
	GPIO_InitStructure.GPIO_PuPd = GPIO_PuPd_UP;
	// LED
	GPIO_Init(GPIOC, &GPIO_InitStructure);
	
	// led on, depend on circuit
	GPIO_ResetBits(GPIOC,GPIO_Pin_0);
}
